Conservative Extension in Positive /
نویسندگان
چکیده
We transpose a conservative extension theorem from structural operational semantics to conditional term rewriting. The result is useful for the development of software renovation factories, and for modular speciication of abstract data types.
منابع مشابه
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
We transpose a conservative extension theorem from structured operational semantics to conditional term rewriting. The result is useful for the development of software renovation factories, and for modular speci cation of abstract data types.
متن کاملThe Conservative Extension of MV-Algebras to Pavelka Algebras
In this paper we prove algebraic equivalents of the conservative extension theorems of Lukasiewicz propositional logic to rational Pavelka propositional logic. The results concerns the conservative extension and the very conservative extension of MV-algebras to Pavelka algebras.
متن کاملExtending the Extensional Lambda Calculus with Surjective Pairing is Conservative
We answer Klop and de Vrijer’s question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a “syntactic” proof that the extensional lambda calculus with surjective pairing is consistent.
متن کاملRole of Conservative Agriculture on the Sustainability of Soil structure in Achieving Sustainable Management
Conservative agriculture is considered as an alternative to tackle the need for increased agricultural production based on sustainable agriculture activities with the aim of increasing production and product stability along with preserving the environment. Tillage is one of the most important factors affecting soil structure. Selection of appropriate tillage systems varies according to the cond...
متن کاملCalcul de conséquences pour le test d’extension conservative dans un système pair-à-pair
Dans un système d’inférence pair-à-pair (P2PIS), un pair étend sa base de connaissances (KB) avec celle des autres pairs afin d’utiliser leurs connaissances pour répondre aux requêtes qui lui sont posées. Toutefois, l’extension d’une KB n’est pas nécessairement conservative. Une extension conservative garantit que le sens d’une KB est le même lorsqu’elle est considérée seule ou avec son extensi...
متن کامل